$\forall$$T$:Type, $a$:$T$, $L_{1}$, $L_{2}$:($T$ List). [$a$ / $L_{1}$] $\subseteq$ $L_{2}$ $\Rightarrow$ $L_{1}$ $\subseteq$ $L_{2}$